Declarative knowledge is about remembered facts about the world, in contrast to procedural knowledge, which tries to work out things on the fly. This distinction applies to human reasoning, for example, one person might recall their seven times table (decarative knowledge), wheras another might recall one or two key multiples and then rapidly add or subtract sevens (procedural knowledge). It also applies to automated reasoning . In particular machine learning and statistical algorithms using the web and other big data techniques allow declarative reasoning that may appear intelligent without any real understanding.
Used in Chap. 2: pages 11, 12; Chap. 17: page 261; Chap. 18: page 279
Also known as declarative